Separation logic

Results: 136



#Item
21

A Undecidability of propositional separation logic and its neighbours JAMES BROTHERSTON, University College London and MAX KANOVICH, Queen Mary, University of London In this paper, we investigate the logical structure o

Add to Reading List

Source URL: www.lsv.ens-cachan.fr

- Date: 2014-01-21 06:29:06
    22

    Separation Logic and Concurrency (OPLSSDraft of July 22, 2016 Aleks Nanevski IMDEA Software Institute

    Add to Reading List

    Source URL: software.imdea.org

    - Date: 2016-08-04 13:20:18
      23

      Tractable Reasoning in a Fragment of Separation Logic Byron Cook1,3 , Christoph Haase2 , Jo¨el Ouaknine2 , Matthew Parkinson1, and James Worrell2 1

      Add to Reading List

      Source URL: www.lsv.ens-cachan.fr

      - Date: 2015-06-23 07:46:37
        24

        The Essence of Higher-Order Concurrent Separation Logic Robbert Krebbers1 , Ralf Jung2 , Ale˘s Bizjak3 , Jacques-Henri Jourdan2 , Derek Dreyer2 , and Lars Birkedal3 1

        Add to Reading List

        Source URL: robbertkrebbers.nl

        - Date: 2016-10-22 08:34:38
          25

          Separation Logic Modulo Theories Juan Antonio Navarro Pérez1 and Andrey Rybalchenko2 1 2

          Add to Reading List

          Source URL: www.lsv.ens-cachan.fr

          - Date: 2015-06-23 07:31:00
            26

            A Two-Variable Separation Logic and Its Inner Circle STEPHANE DEMRI, New York University, USA & CNRS, France MORGAN DETERS, New York University, USA Separation logic is a well-known assertion language for Hoare-style pr

            Add to Reading List

            Source URL: www.lsv.ens-cachan.fr

            - Date: 2015-01-28 03:31:41
              27

              Published in Software Safety and Security; Tools for Analysis and Verification. NATO Science for Peace and Security Series, vol 33, pp286-318, 2012 A Primer on Separation Logic (and Automatic Program Verification and Ana

              Add to Reading List

              Source URL: www.lsv.ens-cachan.fr

              - Date: 2014-03-02 08:55:00
                28

                PERMISSION-BASED SEPARATION LOGIC FOR MESSAGE-PASSING CONCURRENCY ADRIAN FRANCALANZA, JULIAN RATHKE, AND VLADIMIRO SASSONE ICT, University of Malta e-mail address: ECS, University of Southamp

                Add to Reading List

                Source URL: staff.um.edu.mt

                - Date: 2011-05-16 14:07:07
                  29

                  From Separation Logic to First-Order Logic Cristiano Calcagno Philippa Gardner Matthew Hague

                  Add to Reading List

                  Source URL: www.lsv.ens-cachan.fr

                  - Date: 2015-06-23 07:39:28
                    30

                    Draft of paper to appear at LICSExpressive Completeness of Separation Logic With Two Variables and No Separating Conjunction ∗ Stéphane Demri

                    Add to Reading List

                    Source URL: www.lsv.ens-cachan.fr

                    - Date: 2014-07-22 07:58:02
                      UPDATE